/* 
里氏代换原则是BarbaraLiskov女士在1988年发表的[ASD]，具体的数学定义比较复杂，
你可以查相关资料，它的白话翻译就是一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，
而且它察觉不出父类对象和子类对象的区别。也就是说，在软件里面，把父类都替换成它的子类，
程序的行为没有变化，简单地说，子类型必须能够替换掉它们的父类型

程杰. 大话设计模式 (Chinese Edition) (Kindle 位置 1103-1107). 清华大学出版社. Kindle 版本. 
*/